| 翻訳と辞書 |
| UNITY (programming language) ： ウィキペディア英語版 |
UNITY (programming language)
UNITY is a programming language that was constructed by K. Mani Chandy and Jayadev Misra for their book ''Parallel Program Design: A Foundation''. It is a theoretical language, which tries to focus on ''what'', instead of ''where'', ''when'' or ''how''. The language has no flow control, the statements in the program run in a random order, until none of the statements causes change if run. This allows for programs that run indefinitely (auto-pilot or power plant safety system) as well as programs that would normally terminate (which here converge to a fixed point).
== Description ==
All statements are assignments, and are separated by #. A statement can consist of multiple assignments, of the form a,b,c := x,y,z, or a := x || b := y || c := z. You can also have a ''quantified statement list'', <# x,y : ''expression'' :: ''statement''>, where x and y are chosen randomly among the values that satisfy ''expression''. A ''quantified assignment'' is similar. In <|| x,y : ''expression'' :: ''statement'' >, ''statement'' is executed simultaneously for ''all'' pairs of x and y that satisfy ''expression''.
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「UNITY (programming language)」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|